5 Constructing and Using Software Requirements Patterns
نویسندگان
چکیده
Software requirement reuse strategies are necessary to capitalize and reuse knowledge in the requirements engineering phase. The PABRE framework is designed to support requirement reuse through the use of software requirement patterns. It consists of a meta-model that describes the main concepts around the notion of pattern; a method to conduct the elicitation and documentation processes; a catalogue of patterns; and a tool that supports the catalogue’s management and use. In this chapter all these elements are presented in detail making emphasis on the construction, use and evolution of software requirement patterns. Furthermore, the chapter includes the construction of a catalogue of non-technical software requirement patterns for illustration purposes.
منابع مشابه
Specifying Software Models with Organizational Styles
Organizational Modeling is concerned with analyzing and understanding the organizational context within which a software system will eventually function. This chapter proposes organizational patterns motivated by organizational theories intended to facilitate the construction of organizational models. These patterns are defined from real world organizational settings, modeled in i* and formaliz...
متن کاملEffect of Constructing Canal in Embankments on Sand Flow through Railway Tracks in Desert Regions
Entry of sand dunes into the railway tracks can result in sand deposition on tracks, railway obstruction, derailment, damage to track flexibility, and impairment of electrical signs and rail fleet. It is aimed to investigate the strategies and solutions for reducing sand aggregation on railway tracks (including construction of sand passage canals through embankments and modification of the geom...
متن کاملComparing requirements analysis methods for developing reusable component libraries
Two approaches to requirements modelling are compared—the Domain Theory [Sutcliffe, A.G., 2002. The Domain Theory: Patterns for Knowledge and Software Reuse. Lawrence Erlbaum Associates, Mahwah, NJ.] and Problem Frames [Jackson, M., 2001. Problem Frames: Analysing and Structuring Software Development Problems, Pearson Education, Harlow.]—as a means of domain analysis for creating a reusable lib...
متن کاملFormal Methods for Specifying, Validating, and Verifying Requirements
During the past three decades, many formal methods have been proposed whose purpose is to reduce the cost of constructing computer systems and to improve their quality. Informally, a formal method is a mathematically-based technique or tool useful in developing either hardware or software. Recently, formal methods have played a significantly increased role in hardware design. More and more comp...
متن کاملConstructing Multiple-Connectivity and Full-Coverage Three Dimensional Networks
In this paper, we have studied the problem of constructing connected and full covered optimal three dimensional networks. We have designed a set of patterns for two representative connectivity requirements, i.e. 14and 6-connectivity, and full coverage patterns. We have proved their optimality under any value of the ratio of communication range rc over sensing range rs, among the lattice deploym...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012